Formal Techniques in Real-Time and Fault-Tolerant Systems

Språk
Engelska
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg 1996 Utgivningsland okänt / Ej specificerat